Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
791	Topics in Theoretical Computer Science March 21, 2016 Lecture 5 (Notes) Lecturer: Ola Svensson Add to Reading List Source URL: theory.epfl.ch Language: English - Date: 2016-03-20 13:04:51
792	Optimal Dynamic Partial Order Reduction Parosh Abdulla Stavros Aronis Bengt Jonsson Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-11-24 12:01:27 Theoretical computer science Algorithm Mathematical logic Mathematics ReedSolomon error correction Discrete mathematics Formal methods
793	2748 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 58, NO. 5, MAY 2012 Three-Receiver Broadcast Channels With Common and Confidential Messages Add to Reading List Source URL: isl.stanford.edu Language: English - Date: 2014-08-08 14:33:18 Information theory Information Theoretical computer science Telecommunications engineering Information-theoretic security Channel capacity Channel Code Noisy-channel coding theorem Binary symmetric channel
794	TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur Add to Reading List Source URL: www.tableaux11.unibe.ch Language: English Logic Mathematical logic Theoretical computer science Automated theorem proving Proof theory Methods of proof International Workshop on First-Order Theorem Proving Melvin Fitting Natural deduction Sequent calculus Modal logic Method of analytic tableaux
795	Microsoft Word - SpekkensCV080109.doc Add to Reading List Source URL: www.rwspekkens.com Language: English - Date: 2011-01-14 21:31:06 Quantum mechanics Quantum measurement Physics Theoretical computer science Quantum information science Quantum information theory Interpretations of quantum mechanics Hidden variable theory Institute for Quantum Computing Quantum information Many-worlds interpretation Bob Coecke
796	May 21, Spring 2008 Final Exam Solutions Introduction to Algorithms Massachusetts Institute of Technology Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2009-05-20 19:55:06 Computer programming Software engineering Graph theory Binary trees Recursion Knowledge representation Theoretical computer science Tree traversal B-tree Tree Self-balancing binary search tree Topological sorting
797	LEARNING LARGE-ALPHABET AND ANALOG CIRCUITS WITH VALUE INJECTION QUERIES Dana Angluin1 James Aspnes1 Jiang Chen2 Add to Reading List Source URL: www.levreyzin.com Language: English - Date: 2010-09-09 14:03:20 Computational complexity theory Theory of computation Theoretical computer science Circuit complexity Complexity classes Clique problem Boolean circuit ACC0 Clique Circuit NC
798	Dense-Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2012-07-27 18:18:37 Models of computation Pushdown automaton Software engineering Theoretical computer science Timed automaton Stack Petri net Clock Exponentiation Abstraction Nested word Nested stack automaton
799	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:43:37 Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP
800	408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-04-24 13:47:47 Theoretical computer science Formal methods Type theory Algorithms Programming paradigms Finite-state machine Algorithm Declarative programming HindleyMilner type system RANSAC Monad

UPDATE